Migration of Legacy Software Towards Correct-by-Construction Timing Behavior
نویسندگان
چکیده
This paper presents an approach for incrementally adjusting the timing behavior of legacy real-time software according to explicit timing specifications expressed in the Timing Definition Language (TDL). The primary goal of such a migration is to achieve predictable timing behavior, which enables application of formal verification methods to the legacy system. Our approach entails a minimal instrumentation of the original code combined with an automatically generated runtime system, which ensures that the executions of designated periodic computations in the legacy software satisfy the logical execution time specifications of the TDL model. The presented approach has been applied to a complex legacy controller system in the automotive domain.
منابع مشابه
Towards a Framework for the Modular Construction of Situation-Specific Software Transformation Methods
Software transformation methods are enacted during a migration project to perform the technical transition of a legacy system to a new environment. A critical task of each project is to construct a situation-specific transformation method. In this paper, we categorize current Situational Method Engineering (SME) approaches that support the construction of situation-specific transformation metho...
متن کاملAn Architectural-based Approach for Synthesizing and Integrating Adapters for Legacy Software
In software organizations there is a very real possibility that a commitment to existing assets will require migration of legacy software towards new environments that use modern technology. One technique that has been suggested for facilitating the migration of existing legacy assets to new platforms is via the use of the adapter design pattern, also known as component wrapping. In this paper,...
متن کاملTowards Quality Models in Software Migration
To preserve legacy systems in continuous software development and evolution, next to redevelopment, they can be migrated to new environments and technologies. Deciding on evolution and migration strategies early, requires predicting the quality of the migrated software systems depending on applied tools. There is a need for comparable measures, estimating the inner software quality of legacy an...
متن کاملA Storytest-Driven Approach to the Migration of Legacy Systems
In this paper, we propose an agile approach, for the migration of legacy software which combines a user story-based iterative process with automated acceptance testing. The proposed approach, named Storytest-Driven Migration (STDM), requires that acceptance tests are written both on the legacy and target versions of a software system. Because of their relevance, the quality of automated accepta...
متن کاملEmbedded Software Design and System Integration for Rotorcraft Uav Using Platforms
Automation control systems typically incorporate legacy code and components that were originally designed to operate independently. Furthermore, they operate under stringent safety and timing constraints. Current design strategies deal with these requirements and characteristics with ad hoc approaches. In particular, when designing control laws, implementation constraints are often ignored or c...
متن کامل